Relatively congruence distributive subquasivarieties of a congruence modular variety
نویسندگان
چکیده
منابع مشابه
Relatively Congruence Modular Quasivarieties of Modules
We show that the quasiequational theory of a relatively congruence modular quasivariety of left R-modules is determined by a two-sided ideal in R together with a filter of left ideals. The two-sided ideal encodes the identities that hold in the quasivariety, while the filter of left ideals encodes the quasiidentities. The filter of left ideals defines a generalized notion of torsion. It follows...
متن کاملFinitely Based Modular Congruence Varieties Are Distributive
R. Dedekind introduced the modular law, a lattice equation true in most of the lattices associated with classical algebraic systems, see [4]. Although this law is one of the most important tools for working with these lattices, it does not fully describe the equational properties of these lattices. This was made clear in [8] where B. Jónsson and the author showed that if any modular congruence ...
متن کاملDistributive Congruence Lattices of Congruence-permutable Algebras
We prove that every distributive algebraic lattice with at most א1 compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The א1 bound is optimal, as we find a distributive algebraic lattice D with א2 compact elements that is not isomorphic to the congruence lattice of any algebra with almost permutable congruences (hence n...
متن کاملFinite Basis Theorems for Relatively Congruence-distributive Quasivarieties
Q is any quasivariety. A congruence relation 0 on a member A of Q is a Q-congruence if A/0 G Q. The set CouqA. of all Qcongruences is closed under arbitrary intersection and hence forms a complete lattice Cong A. Q. is relatively congruence-distributive if ConjA is distributive for every A e Q.. Relatively congruence-distributive quasivarieties occur naturally in the theory of abstract data typ...
متن کاملComplete Congruence Representations with 2-distributive Modular Lattices
In 1990, we published the following result: Let m be a regular cardinal > א0. Every m-algebraic lattice L can be represented as the lattice of m-complete congruence relations of an m-complete modular lattice K. In this note, we present a short proof of this theorem. In fact, we present a significant improvement: The lattice K we construct is 2-distributive.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1990
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700017871